2 . 2 A 78 - Approximation Algorithm for MAX 3 SAT

نویسنده

  • Tim Roughgarden
چکیده

In CS109 and CS161, you learned some tricks of the trade in the analysis of randomized algorithms, with applications to the analysis of QuickSort and hashing. There’s also CS265, where you’ll learn more than you ever wanted to know about randomized algorithms (but a great class, you should take it). In CS261, we build a bridge between what’s covered in CS161 and CS265. Specifically, this lecture covers five essential tools for the analysis of randomized algorithms. Some you’ve probably seen before (like linearity of expectation and the union bound) while others may be new (like Chernoff bounds). You will need these tools in most 200and 300-level theory courses that you may take in the future, and in other courses (like in machine learning) as well. We’ll point out some applications in approximation algorithms, but keep in mind that these tools are used constantly across all of theoretical computer science. Recall the standard probability setup. There is a state space Ω; for our purposes, Ω is always finite, for example corresponding to the coin flip outcomes of a randomized algorithm. A random variable is a real-valued function X : Ω → R defined on Ω. For example, for a fixed instance of a problem, we might be interested in the running time or solution quality produced by a randomized algorithm (as a function of the algorithm’s coin flips). The expectation of a random variable is just its average value, with the averaging weights given by a specified probability distribution on Ω:

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the Performance of Congestion Games for Optimum Satisfiability Problems

We introduce and study a congestion game having max sat as an underlying structure and show that its price of anarchy is 1/2. The main result is a redesign of the game leading to an improved price of anarchy of 2/3 from which we derive a non oblivious local search algorithm for max sat with locality gap 2/3. A similar congestion min sat game is also studied. keywords: price of anarchy, non obli...

متن کامل

Approximation Algorithms for MAX SAT

Maximum Satisfiability Problem (MAX SAT) is one of the most natural optimization problems. It is known to be NP-hard. Hence, approximation algorithms have been considered. The aim of this survey is to show recent developments of approximation algorithms for MAX SAT. We will confine ourselves to approximation algorithms with theoretical performance guarantees. For other approximation algorithms ...

متن کامل

Is Constraint Satisfaction Over Two Variables Always Easy?

By the breakthrough work of Håstad, several constraint satisfaction problems are now known to have the following approximation resistance property: satisfying more clauses than what picking a random assignment would achieve is NP-hard. This is the case for example for Max E3-Sat, Max E3-Lin and Max E4-Set Splitting. A notable exception to this extreme hardness is constraint satisfaction over tw...

متن کامل

On Approximation Algorithms for Hierarchical MAX-SAT

We prove upper and lower bounds on performance guarantees of approximation algorithms for the Hierarchical MAX-SAT (H-MAX-SAT) problem. This problem is representative of a broad class of PSPACE-hard problems involving graphs, Boolean formulas and other structures that are de ned succinctly. Our rst result is that for some constant < 1, it is PSPACE-hard to approximate the function H-MAX-SAT to ...

متن کامل

An Approximation Algorithm for MAX-2-SAT with Cardinality Constraint

We present a randomized polynomial-time approximation algorithm for the MAX-2-SAT problem in the presence of an extra cardinality constraint which has an asymptotic worst-case ratio of 0.75. This improves upon the previously best approximation ratio 0.6603 which was achieved by Bläser and Manthey [BM]. Our approach is to use a solution obtained from a linear program which we first modify greedi...

متن کامل

Approximation Algorithms for MAX 4-SAT and Rounding Procedures for Semidefinite Programs

Karloo and Zwick obtained recently an optimal 7=8-approximation algorithm for MAX 3-SAT. In an attempt to see whether similar methods can be used to obtain a 7=8-approximation algorithm for MAX SAT, we consider the most natural generalization of MAX 3-SAT, namely MAX 4-SAT. We present a semideenite programming relaxation of MAX 4-SAT and a new family of rounding procedures that try to cope well...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016